3.492 \(\int \frac{1}{(d+e x)^2 \left (a+c x^2\right )} \, dx\)

Optimal. Leaf size=123 \[ -\frac{c d e \log \left (a+c x^2\right )}{\left (a e^2+c d^2\right )^2}-\frac{e}{(d+e x) \left (a e^2+c d^2\right )}+\frac{2 c d e \log (d+e x)}{\left (a e^2+c d^2\right )^2}+\frac{\sqrt{c} \left (c d^2-a e^2\right ) \tan ^{-1}\left (\frac{\sqrt{c} x}{\sqrt{a}}\right )}{\sqrt{a} \left (a e^2+c d^2\right )^2} \]

[Out]

-(e/((c*d^2 + a*e^2)*(d + e*x))) + (Sqrt[c]*(c*d^2 - a*e^2)*ArcTan[(Sqrt[c]*x)/S
qrt[a]])/(Sqrt[a]*(c*d^2 + a*e^2)^2) + (2*c*d*e*Log[d + e*x])/(c*d^2 + a*e^2)^2
- (c*d*e*Log[a + c*x^2])/(c*d^2 + a*e^2)^2

_______________________________________________________________________________________

Rubi [A]  time = 0.25501, antiderivative size = 123, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 5, integrand size = 17, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.294 \[ -\frac{c d e \log \left (a+c x^2\right )}{\left (a e^2+c d^2\right )^2}-\frac{e}{(d+e x) \left (a e^2+c d^2\right )}+\frac{2 c d e \log (d+e x)}{\left (a e^2+c d^2\right )^2}+\frac{\sqrt{c} \left (c d^2-a e^2\right ) \tan ^{-1}\left (\frac{\sqrt{c} x}{\sqrt{a}}\right )}{\sqrt{a} \left (a e^2+c d^2\right )^2} \]

Antiderivative was successfully verified.

[In]  Int[1/((d + e*x)^2*(a + c*x^2)),x]

[Out]

-(e/((c*d^2 + a*e^2)*(d + e*x))) + (Sqrt[c]*(c*d^2 - a*e^2)*ArcTan[(Sqrt[c]*x)/S
qrt[a]])/(Sqrt[a]*(c*d^2 + a*e^2)^2) + (2*c*d*e*Log[d + e*x])/(c*d^2 + a*e^2)^2
- (c*d*e*Log[a + c*x^2])/(c*d^2 + a*e^2)^2

_______________________________________________________________________________________

Rubi in Sympy [A]  time = 34.4746, size = 112, normalized size = 0.91 \[ - \frac{c d e \log{\left (a + c x^{2} \right )}}{\left (a e^{2} + c d^{2}\right )^{2}} + \frac{2 c d e \log{\left (d + e x \right )}}{\left (a e^{2} + c d^{2}\right )^{2}} - \frac{e}{\left (d + e x\right ) \left (a e^{2} + c d^{2}\right )} - \frac{\sqrt{c} \left (a e^{2} - c d^{2}\right ) \operatorname{atan}{\left (\frac{\sqrt{c} x}{\sqrt{a}} \right )}}{\sqrt{a} \left (a e^{2} + c d^{2}\right )^{2}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate(1/(e*x+d)**2/(c*x**2+a),x)

[Out]

-c*d*e*log(a + c*x**2)/(a*e**2 + c*d**2)**2 + 2*c*d*e*log(d + e*x)/(a*e**2 + c*d
**2)**2 - e/((d + e*x)*(a*e**2 + c*d**2)) - sqrt(c)*(a*e**2 - c*d**2)*atan(sqrt(
c)*x/sqrt(a))/(sqrt(a)*(a*e**2 + c*d**2)**2)

_______________________________________________________________________________________

Mathematica [A]  time = 0.164102, size = 113, normalized size = 0.92 \[ \frac{\sqrt{c} (d+e x) \left (c d^2-a e^2\right ) \tan ^{-1}\left (\frac{\sqrt{c} x}{\sqrt{a}}\right )-\sqrt{a} e \left (c d (d+e x) \log \left (a+c x^2\right )+a e^2+c d^2-2 c d (d+e x) \log (d+e x)\right )}{\sqrt{a} (d+e x) \left (a e^2+c d^2\right )^2} \]

Antiderivative was successfully verified.

[In]  Integrate[1/((d + e*x)^2*(a + c*x^2)),x]

[Out]

(Sqrt[c]*(c*d^2 - a*e^2)*(d + e*x)*ArcTan[(Sqrt[c]*x)/Sqrt[a]] - Sqrt[a]*e*(c*d^
2 + a*e^2 - 2*c*d*(d + e*x)*Log[d + e*x] + c*d*(d + e*x)*Log[a + c*x^2]))/(Sqrt[
a]*(c*d^2 + a*e^2)^2*(d + e*x))

_______________________________________________________________________________________

Maple [A]  time = 0.01, size = 143, normalized size = 1.2 \[ -{\frac{e}{ \left ( a{e}^{2}+c{d}^{2} \right ) \left ( ex+d \right ) }}+2\,{\frac{cde\ln \left ( ex+d \right ) }{ \left ( a{e}^{2}+c{d}^{2} \right ) ^{2}}}-{\frac{cde\ln \left ( c{x}^{2}+a \right ) }{ \left ( a{e}^{2}+c{d}^{2} \right ) ^{2}}}-{\frac{ac{e}^{2}}{ \left ( a{e}^{2}+c{d}^{2} \right ) ^{2}}\arctan \left ({cx{\frac{1}{\sqrt{ac}}}} \right ){\frac{1}{\sqrt{ac}}}}+{\frac{{c}^{2}{d}^{2}}{ \left ( a{e}^{2}+c{d}^{2} \right ) ^{2}}\arctan \left ({cx{\frac{1}{\sqrt{ac}}}} \right ){\frac{1}{\sqrt{ac}}}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int(1/(e*x+d)^2/(c*x^2+a),x)

[Out]

-e/(a*e^2+c*d^2)/(e*x+d)+2*c*d*e*ln(e*x+d)/(a*e^2+c*d^2)^2-c*d*e*ln(c*x^2+a)/(a*
e^2+c*d^2)^2-c/(a*e^2+c*d^2)^2/(a*c)^(1/2)*arctan(c*x/(a*c)^(1/2))*a*e^2+c^2/(a*
e^2+c*d^2)^2/(a*c)^(1/2)*arctan(c*x/(a*c)^(1/2))*d^2

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \text{Exception raised: ValueError} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(1/((c*x^2 + a)*(e*x + d)^2),x, algorithm="maxima")

[Out]

Exception raised: ValueError

_______________________________________________________________________________________

Fricas [A]  time = 0.356968, size = 1, normalized size = 0.01 \[ \left [-\frac{2 \, c d^{2} e + 2 \, a e^{3} +{\left (c d^{3} - a d e^{2} +{\left (c d^{2} e - a e^{3}\right )} x\right )} \sqrt{-\frac{c}{a}} \log \left (\frac{c x^{2} - 2 \, a x \sqrt{-\frac{c}{a}} - a}{c x^{2} + a}\right ) + 2 \,{\left (c d e^{2} x + c d^{2} e\right )} \log \left (c x^{2} + a\right ) - 4 \,{\left (c d e^{2} x + c d^{2} e\right )} \log \left (e x + d\right )}{2 \,{\left (c^{2} d^{5} + 2 \, a c d^{3} e^{2} + a^{2} d e^{4} +{\left (c^{2} d^{4} e + 2 \, a c d^{2} e^{3} + a^{2} e^{5}\right )} x\right )}}, -\frac{c d^{2} e + a e^{3} -{\left (c d^{3} - a d e^{2} +{\left (c d^{2} e - a e^{3}\right )} x\right )} \sqrt{\frac{c}{a}} \arctan \left (\frac{c x}{a \sqrt{\frac{c}{a}}}\right ) +{\left (c d e^{2} x + c d^{2} e\right )} \log \left (c x^{2} + a\right ) - 2 \,{\left (c d e^{2} x + c d^{2} e\right )} \log \left (e x + d\right )}{c^{2} d^{5} + 2 \, a c d^{3} e^{2} + a^{2} d e^{4} +{\left (c^{2} d^{4} e + 2 \, a c d^{2} e^{3} + a^{2} e^{5}\right )} x}\right ] \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(1/((c*x^2 + a)*(e*x + d)^2),x, algorithm="fricas")

[Out]

[-1/2*(2*c*d^2*e + 2*a*e^3 + (c*d^3 - a*d*e^2 + (c*d^2*e - a*e^3)*x)*sqrt(-c/a)*
log((c*x^2 - 2*a*x*sqrt(-c/a) - a)/(c*x^2 + a)) + 2*(c*d*e^2*x + c*d^2*e)*log(c*
x^2 + a) - 4*(c*d*e^2*x + c*d^2*e)*log(e*x + d))/(c^2*d^5 + 2*a*c*d^3*e^2 + a^2*
d*e^4 + (c^2*d^4*e + 2*a*c*d^2*e^3 + a^2*e^5)*x), -(c*d^2*e + a*e^3 - (c*d^3 - a
*d*e^2 + (c*d^2*e - a*e^3)*x)*sqrt(c/a)*arctan(c*x/(a*sqrt(c/a))) + (c*d*e^2*x +
c*d^2*e)*log(c*x^2 + a) - 2*(c*d*e^2*x + c*d^2*e)*log(e*x + d))/(c^2*d^5 + 2*a*
c*d^3*e^2 + a^2*d*e^4 + (c^2*d^4*e + 2*a*c*d^2*e^3 + a^2*e^5)*x)]

_______________________________________________________________________________________

Sympy [A]  time = 58.0389, size = 2508, normalized size = 20.39 \[ \text{result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(1/(e*x+d)**2/(c*x**2+a),x)

[Out]

2*c*d*e*log(x + (112*a**6*c**2*d**3*e**12/(a*e**2 + c*d**2)**4 + 432*a**5*c**3*d
**5*e**10/(a*e**2 + c*d**2)**4 - 4*a**5*c*d*e**10/(a*e**2 + c*d**2)**2 + 608*a**
4*c**4*d**7*e**8/(a*e**2 + c*d**2)**4 - 32*a**4*c**2*d**3*e**8/(a*e**2 + c*d**2)
**2 + 352*a**3*c**5*d**9*e**6/(a*e**2 + c*d**2)**4 - 72*a**3*c**3*d**5*e**6/(a*e
**2 + c*d**2)**2 + 5*a**3*c*d*e**6 + 48*a**2*c**6*d**11*e**4/(a*e**2 + c*d**2)**
4 - 64*a**2*c**4*d**7*e**4/(a*e**2 + c*d**2)**2 - 55*a**2*c**2*d**3*e**4 - 16*a*
c**7*d**13*e**2/(a*e**2 + c*d**2)**4 - 20*a*c**5*d**9*e**2/(a*e**2 + c*d**2)**2
+ 3*a*c**3*d**5*e**2 - c**4*d**7)/(a**3*c*e**7 + 33*a**2*c**2*d**2*e**5 - 33*a*c
**3*d**4*e**3 - c**4*d**6*e))/(a*e**2 + c*d**2)**2 - e/(a*d*e**2 + c*d**3 + x*(a
*e**3 + c*d**2*e)) + (-c*d*e/(a*e**2 + c*d**2)**2 - sqrt(-a*c)*(a*e**2 - c*d**2)
/(2*a*(a**2*e**4 + 2*a*c*d**2*e**2 + c**2*d**4)))*log(x + (28*a**6*d*e**10*(-c*d
*e/(a*e**2 + c*d**2)**2 - sqrt(-a*c)*(a*e**2 - c*d**2)/(2*a*(a**2*e**4 + 2*a*c*d
**2*e**2 + c**2*d**4)))**2 + 108*a**5*c*d**3*e**8*(-c*d*e/(a*e**2 + c*d**2)**2 -
sqrt(-a*c)*(a*e**2 - c*d**2)/(2*a*(a**2*e**4 + 2*a*c*d**2*e**2 + c**2*d**4)))**
2 - 2*a**5*e**9*(-c*d*e/(a*e**2 + c*d**2)**2 - sqrt(-a*c)*(a*e**2 - c*d**2)/(2*a
*(a**2*e**4 + 2*a*c*d**2*e**2 + c**2*d**4))) + 152*a**4*c**2*d**5*e**6*(-c*d*e/(
a*e**2 + c*d**2)**2 - sqrt(-a*c)*(a*e**2 - c*d**2)/(2*a*(a**2*e**4 + 2*a*c*d**2*
e**2 + c**2*d**4)))**2 - 16*a**4*c*d**2*e**7*(-c*d*e/(a*e**2 + c*d**2)**2 - sqrt
(-a*c)*(a*e**2 - c*d**2)/(2*a*(a**2*e**4 + 2*a*c*d**2*e**2 + c**2*d**4))) + 88*a
**3*c**3*d**7*e**4*(-c*d*e/(a*e**2 + c*d**2)**2 - sqrt(-a*c)*(a*e**2 - c*d**2)/(
2*a*(a**2*e**4 + 2*a*c*d**2*e**2 + c**2*d**4)))**2 - 36*a**3*c**2*d**4*e**5*(-c*
d*e/(a*e**2 + c*d**2)**2 - sqrt(-a*c)*(a*e**2 - c*d**2)/(2*a*(a**2*e**4 + 2*a*c*
d**2*e**2 + c**2*d**4))) + 5*a**3*c*d*e**6 + 12*a**2*c**4*d**9*e**2*(-c*d*e/(a*e
**2 + c*d**2)**2 - sqrt(-a*c)*(a*e**2 - c*d**2)/(2*a*(a**2*e**4 + 2*a*c*d**2*e**
2 + c**2*d**4)))**2 - 32*a**2*c**3*d**6*e**3*(-c*d*e/(a*e**2 + c*d**2)**2 - sqrt
(-a*c)*(a*e**2 - c*d**2)/(2*a*(a**2*e**4 + 2*a*c*d**2*e**2 + c**2*d**4))) - 55*a
**2*c**2*d**3*e**4 - 4*a*c**5*d**11*(-c*d*e/(a*e**2 + c*d**2)**2 - sqrt(-a*c)*(a
*e**2 - c*d**2)/(2*a*(a**2*e**4 + 2*a*c*d**2*e**2 + c**2*d**4)))**2 - 10*a*c**4*
d**8*e*(-c*d*e/(a*e**2 + c*d**2)**2 - sqrt(-a*c)*(a*e**2 - c*d**2)/(2*a*(a**2*e*
*4 + 2*a*c*d**2*e**2 + c**2*d**4))) + 3*a*c**3*d**5*e**2 - c**4*d**7)/(a**3*c*e*
*7 + 33*a**2*c**2*d**2*e**5 - 33*a*c**3*d**4*e**3 - c**4*d**6*e)) + (-c*d*e/(a*e
**2 + c*d**2)**2 + sqrt(-a*c)*(a*e**2 - c*d**2)/(2*a*(a**2*e**4 + 2*a*c*d**2*e**
2 + c**2*d**4)))*log(x + (28*a**6*d*e**10*(-c*d*e/(a*e**2 + c*d**2)**2 + sqrt(-a
*c)*(a*e**2 - c*d**2)/(2*a*(a**2*e**4 + 2*a*c*d**2*e**2 + c**2*d**4)))**2 + 108*
a**5*c*d**3*e**8*(-c*d*e/(a*e**2 + c*d**2)**2 + sqrt(-a*c)*(a*e**2 - c*d**2)/(2*
a*(a**2*e**4 + 2*a*c*d**2*e**2 + c**2*d**4)))**2 - 2*a**5*e**9*(-c*d*e/(a*e**2 +
c*d**2)**2 + sqrt(-a*c)*(a*e**2 - c*d**2)/(2*a*(a**2*e**4 + 2*a*c*d**2*e**2 + c
**2*d**4))) + 152*a**4*c**2*d**5*e**6*(-c*d*e/(a*e**2 + c*d**2)**2 + sqrt(-a*c)*
(a*e**2 - c*d**2)/(2*a*(a**2*e**4 + 2*a*c*d**2*e**2 + c**2*d**4)))**2 - 16*a**4*
c*d**2*e**7*(-c*d*e/(a*e**2 + c*d**2)**2 + sqrt(-a*c)*(a*e**2 - c*d**2)/(2*a*(a*
*2*e**4 + 2*a*c*d**2*e**2 + c**2*d**4))) + 88*a**3*c**3*d**7*e**4*(-c*d*e/(a*e**
2 + c*d**2)**2 + sqrt(-a*c)*(a*e**2 - c*d**2)/(2*a*(a**2*e**4 + 2*a*c*d**2*e**2
+ c**2*d**4)))**2 - 36*a**3*c**2*d**4*e**5*(-c*d*e/(a*e**2 + c*d**2)**2 + sqrt(-
a*c)*(a*e**2 - c*d**2)/(2*a*(a**2*e**4 + 2*a*c*d**2*e**2 + c**2*d**4))) + 5*a**3
*c*d*e**6 + 12*a**2*c**4*d**9*e**2*(-c*d*e/(a*e**2 + c*d**2)**2 + sqrt(-a*c)*(a*
e**2 - c*d**2)/(2*a*(a**2*e**4 + 2*a*c*d**2*e**2 + c**2*d**4)))**2 - 32*a**2*c**
3*d**6*e**3*(-c*d*e/(a*e**2 + c*d**2)**2 + sqrt(-a*c)*(a*e**2 - c*d**2)/(2*a*(a*
*2*e**4 + 2*a*c*d**2*e**2 + c**2*d**4))) - 55*a**2*c**2*d**3*e**4 - 4*a*c**5*d**
11*(-c*d*e/(a*e**2 + c*d**2)**2 + sqrt(-a*c)*(a*e**2 - c*d**2)/(2*a*(a**2*e**4 +
2*a*c*d**2*e**2 + c**2*d**4)))**2 - 10*a*c**4*d**8*e*(-c*d*e/(a*e**2 + c*d**2)*
*2 + sqrt(-a*c)*(a*e**2 - c*d**2)/(2*a*(a**2*e**4 + 2*a*c*d**2*e**2 + c**2*d**4)
)) + 3*a*c**3*d**5*e**2 - c**4*d**7)/(a**3*c*e**7 + 33*a**2*c**2*d**2*e**5 - 33*
a*c**3*d**4*e**3 - c**4*d**6*e))

_______________________________________________________________________________________

GIAC/XCAS [A]  time = 0.214431, size = 252, normalized size = 2.05 \[ -\frac{c d e{\rm ln}\left (c - \frac{2 \, c d}{x e + d} + \frac{c d^{2}}{{\left (x e + d\right )}^{2}} + \frac{a e^{2}}{{\left (x e + d\right )}^{2}}\right )}{c^{2} d^{4} + 2 \, a c d^{2} e^{2} + a^{2} e^{4}} + \frac{{\left (c^{2} d^{2} e^{2} - a c e^{4}\right )} \arctan \left (\frac{{\left (c d - \frac{c d^{2}}{x e + d} - \frac{a e^{2}}{x e + d}\right )} e^{\left (-1\right )}}{\sqrt{a c}}\right ) e^{\left (-2\right )}}{{\left (c^{2} d^{4} + 2 \, a c d^{2} e^{2} + a^{2} e^{4}\right )} \sqrt{a c}} - \frac{e^{3}}{{\left (c d^{2} e^{2} + a e^{4}\right )}{\left (x e + d\right )}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(1/((c*x^2 + a)*(e*x + d)^2),x, algorithm="giac")

[Out]

-c*d*e*ln(c - 2*c*d/(x*e + d) + c*d^2/(x*e + d)^2 + a*e^2/(x*e + d)^2)/(c^2*d^4
+ 2*a*c*d^2*e^2 + a^2*e^4) + (c^2*d^2*e^2 - a*c*e^4)*arctan((c*d - c*d^2/(x*e +
d) - a*e^2/(x*e + d))*e^(-1)/sqrt(a*c))*e^(-2)/((c^2*d^4 + 2*a*c*d^2*e^2 + a^2*e
^4)*sqrt(a*c)) - e^3/((c*d^2*e^2 + a*e^4)*(x*e + d))